(*
structure S =
struct
  type t (= int)
  exception E of t
end
*)
